Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Romain Péchoux »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Romain Prévost < Romain Péchoux < Romain Raveaux  Facettes :

List of bibliographic references indexed by Romain Péchoux

Number of relevant bibliographic references: 34.
[0-20] [0 - 20][0 - 34][20-33][20-40]
Ident.Authors (with country if any)Title
000211 (2015-11-30) Emmanuel Hainry [France] ; Romain Péchoux [France]Objects in Polynomial Time
000364 (2015-08-31) Marco Gaboardi [France] ; Romain Péchoux [France]Algebras and Coalgebras in the Light Affine Lambda Calculus
000591 (2015-04-11) Emmanuel Hainry [France] ; Romain Péchoux [France]Implicit computational complexity in Object Oriented Programs
000592 (2015-04-11) Emmanuel Hainry [France] ; Romain Péchoux [France]Higher order interpretations for Basic Feasible Functions
000662 (2015-01-01) Marco Gaboardi [France] ; Romain Péchoux [France]On Bounding Space Usage of Streams Using Interpretation Analysis
000664 (2015-01-01) Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]Characterizing polynomial time complexity of stream programs using interpretations
000C10 (2014-04-11) Jean-Yves Marion [France] ; Romain Péchoux [France]Complexity Information Flow in a Multi-threaded Imperative Language
000C11 (2014-04-11) Romain Péchoux [France] ; Thanh Dinh Ta [France]A Categorical Treatment of Malicious Behavioral Obfuscation
001043 (2013-08-29) Emmanuel Hainry [France] ; Romain Péchoux [France]Types for controlling heap and stack in Java
001047 (2013-08-29) Romain Péchoux [France]Bounding Reactions in the Pi-calculus using Interpretations
001331 (2013-01-11) Emmanuel Hainry [France] ; Romain Péchoux [France]Type-based heap and stack space analysis in Java
001458 (2013) Emmanuel Hainry [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]Type-Based Complexity Analysis for Fork Processes
001841 (2012-11-27) Romain Péchoux [France]Synthesis of sup-interpretations: a survey
001C18 (2012-03-01) Jean-Yves Marion [France] ; Romain Péchoux [France]Complexity Information Flow in a Multi-threaded Imperative Language
002901 (2010-12-15) Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]Interpretation of stream programs: characterizing type 2 polynomial time complexity
003064 (2010) Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
003074 (2010) Marco Gaboardi [Italie] ; Romain Péchoux [France]Global and Local Space Properties of Stream Programs
003409 (2009-09-07) Marco Gaboardi [Italie] ; Romain Péchoux [France]Upper Bounds on Stream I/O Using Semantic Interpretations
003744 (2009) Jean-Yves Marion [France] ; Romain Péchoux [France]Sup-interpretations, a semantic method for static analysis of program resources
003D21 (2008-12-11) Jean-Yves Marion [France] ; Romain Péchoux [France]Analyzing the Implicit Computational Complexity of object-oriented programs
003F08 (2008-07-15) Jean-Yves Marion [France] ; Romain Péchoux [France]Characterizations of Polynomial Complexity Classes with a Better Intensionality

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Romain Péchoux" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Romain Péchoux" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Romain Péchoux
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022